Sara Negri; 2005; "Proof Analysis in Modal Logic"